<html>
<head><meta charset="utf-8"><title>pre-meeting triage 2019-08-15 #54818 · t-compiler · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/index.html">t-compiler</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html">pre-meeting triage 2019-08-15 #54818</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="173288181"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173288181" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173288181">(Aug 15 2019 at 13:06)</a>:</h4>
<p>I will be doing pre-triage in this channel.</p>



<a name="173288604"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173288604" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173288604">(Aug 15 2019 at 13:12)</a>:</h4>
<p>The instructions on <a href="https://github.com/rust-lang/rust/issues/54818" target="_blank" title="https://github.com/rust-lang/rust/issues/54818">#54818</a> are a bit confusing but I'll start with the <a href="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AT-compiler+-label%3AP-high++-label%3AP-medium+-label%3AP-low+label%3AI-nominated" target="_blank" title="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AT-compiler+-label%3AP-high++-label%3AP-medium+-label%3AP-low+label%3AI-nominated">unprioritized nominated issues</a></p>



<a name="173288623"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173288623" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173288623">(Aug 15 2019 at 13:12)</a>:</h4>
<blockquote>
<p><code>miri</code> no longer builds after <a href="https://github.com/rust-lang/rust/issues/63575" target="_blank" title="https://github.com/rust-lang/rust/issues/63575">rust-lang/rust#63575</a> <a href="https://github.com/rust-lang/rust/issues/63581" target="_blank" title="https://github.com/rust-lang/rust/issues/63581">#63581</a></p>
</blockquote>



<a name="173288659"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173288659" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173288659">(Aug 15 2019 at 13:13)</a>:</h4>
<p>Any update what's up with that, <span class="user-mention" data-user-id="126931">@centril</span> <span class="user-mention" data-user-id="120791">@RalfJ</span> or <span class="user-mention" data-user-id="124288">@oli</span> ? <span aria-label="point up" class="emoji emoji-1f446" role="img" title="point up">:point_up:</span></p>



<a name="173288683"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173288683" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173288683">(Aug 15 2019 at 13:13)</a>:</h4>
<p>er the "breaking" PR was a rollup, so I guess <span class="user-mention" data-user-id="126931">@centril</span> is off the hook :)</p>



<a name="173288698"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173288698" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173288698">(Aug 15 2019 at 13:13)</a>:</h4>
<p>(I get cced on these because I make rollups and I really don't have time to figure out why they break... ^^)</p>



<a name="173288712"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173288712" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173288712">(Aug 15 2019 at 13:13)</a>:</h4>
<p>looks like it's already assigned, I'm going to mark it as p-high; miri should build</p>



<a name="173288781"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173288781" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173288781">(Aug 15 2019 at 13:14)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span>  I just assume Ralf is already on that ;)</p>



<a name="173288789"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173288789" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173288789">(Aug 15 2019 at 13:14)</a>:</h4>
<p>a fair assumption</p>



<a name="173288791"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173288791" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173288791">(Aug 15 2019 at 13:14)</a>:</h4>
<blockquote>
<p>run-make-fulldeps/linker-output-non-utf8 failure <a href="https://github.com/rust-lang/rust/issues/63520" target="_blank" title="https://github.com/rust-lang/rust/issues/63520">#63520</a></p>
</blockquote>



<a name="173288814"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173288814" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173288814">(Aug 15 2019 at 13:15)</a>:</h4>
<p>so I filed this, it's a bug I see locally, I'm not sure how to prioritize it, I'm going to say P-medium. I'm presuming it's something to do with my setup</p>



<a name="173288838"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173288838" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173288838">(Aug 15 2019 at 13:15)</a>:</h4>
<p>I could make an argument for P-high: Having this bug open means that all other bugs take more time to fix</p>



<a name="173288843"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173288843" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173288843">(Aug 15 2019 at 13:15)</a>:</h4>
<p>because it affects you ^^</p>



<a name="173288941"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173288941" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173288941">(Aug 15 2019 at 13:16)</a>:</h4>
<p>heh, well, it comes relatively late in the test suite...</p>



<a name="173288947"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173288947" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173288947">(Aug 15 2019 at 13:16)</a>:</h4>
<p>I'll ping a few folks</p>



<a name="173288953"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173288953" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173288953">(Aug 15 2019 at 13:16)</a>:</h4>
<p>maybe run apt-get update :P</p>



<a name="173288956"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173288956" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173288956">(Aug 15 2019 at 13:16)</a>:</h4>
<blockquote>
<p>ICE when trying to reference an associated trait constant <a href="https://github.com/rust-lang/rust/issues/63496" target="_blank" title="https://github.com/rust-lang/rust/issues/63496">#63496</a></p>
</blockquote>



<a name="173288999"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173288999" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173288999">(Aug 15 2019 at 13:17)</a>:</h4>
<p>Standard lazy norm issue it seems</p>



<a name="173289011"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173289011" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173289011">(Aug 15 2019 at 13:17)</a>:</h4>
<p>yes, I was thinking something similar. going to mark as p-medium.</p>



<a name="173289068"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173289068" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173289068">(Aug 15 2019 at 13:18)</a>:</h4>
<p>This probably shouldn't be fixed (i.e. check-pass, ofc it should not ICE...) without signoff from T-lang or at the very least some tests re. associated constant default values.</p>



<a name="173289072"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173289072" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173289072">(Aug 15 2019 at 13:18)</a>:</h4>
<p>(similar to associated type defaults)</p>



<a name="173289073"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173289073" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173289073">(Aug 15 2019 at 13:18)</a>:</h4>
<blockquote>
<p>Regression: Matching on function pointers fails when one of the formal params implements custom PartialEq <a href="https://github.com/rust-lang/rust/issues/63479" target="_blank" title="https://github.com/rust-lang/rust/issues/63479">#63479</a></p>
</blockquote>



<a name="173289166"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173289166" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173289166">(Aug 15 2019 at 13:20)</a>:</h4>
<p>Hmm.</p>



<a name="173289190"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173289190" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173289190">(Aug 15 2019 at 13:20)</a>:</h4>
<p>This should not compile?</p>



<a name="173289203"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173289203" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173289203">(Aug 15 2019 at 13:20)</a>:</h4>
<p>Not 100% clear to me. The constant is a <code>fn()</code> pointer, so it doesn't really <em>matter</em> what arguments it takes</p>



<a name="173289211"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173289211" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173289211">(Aug 15 2019 at 13:20)</a>:</h4>
<p>but then the rules aren't 100% settled so it's hard to say</p>



<a name="173289245"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173289245" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173289245">(Aug 15 2019 at 13:21)</a>:</h4>
<p>I prefer to be conservative when that's the case -- much easier to become more liberal if you settle starting from a conservative position.</p>



<a name="173289260"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173289260" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173289260">(Aug 15 2019 at 13:21)</a>:</h4>
<p>I'd like to assign to <span class="user-mention" data-user-id="116083">@pnkfelix</span> but of course they're not going to be back until early Sep</p>



<a name="173289400"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173289400" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173289400">(Aug 15 2019 at 13:23)</a>:</h4>
<p>ok I assigned to <span class="user-mention" data-user-id="116083">@pnkfelix</span> but I'm going to leave it nominated for another week to see what the aswer is</p>



<a name="173289411"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173289411" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173289411">(Aug 15 2019 at 13:23)</a>:</h4>
<blockquote>
<p>segfault with target-feature=+soft-float <a href="https://github.com/rust-lang/rust/issues/63466" target="_blank" title="https://github.com/rust-lang/rust/issues/63466">#63466</a></p>
</blockquote>



<a name="173289490"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173289490" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173289490">(Aug 15 2019 at 13:24)</a>:</h4>
<p>(Overall, I think we need a more holistic thinking re. structural match and think about const generics / dependent typing/ definitional equality / ... etc. etc.)</p>



<a name="173289555"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173289555" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173289555">(Aug 15 2019 at 13:25)</a>:</h4>
<p>welp, that seems ungreat.</p>



<a name="173289561"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173289561" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173289561">(Aug 15 2019 at 13:25)</a>:</h4>
<p>I have no idea what soft-float is</p>



<a name="173289573"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173289573" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173289573">(Aug 15 2019 at 13:25)</a>:</h4>
<p>(presumably floating point emulation?)</p>



<a name="173289580"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173289580" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173289580">(Aug 15 2019 at 13:25)</a>:</h4>
<p>maybe I'll leave this one for the meeting to cal attention to it and see if anybody has any thoughts</p>



<a name="173289639"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173289639" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173289639">(Aug 15 2019 at 13:26)</a>:</h4>
<p>probably yeah;<br>
(I add <code>I-unsound</code> when I see "segfault")</p>



<a name="173289660"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173289660" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173289660">(Aug 15 2019 at 13:26)</a>:</h4>
<p>P-high then?</p>



<a name="173289733"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173289733" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173289733">(Aug 15 2019 at 13:27)</a>:</h4>
<p>guess so</p>



<a name="173289749"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173289749" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173289749">(Aug 15 2019 at 13:27)</a>:</h4>
<blockquote>
<p>Trait bounds are not checked on type aliases until they are used <a href="https://github.com/rust-lang/rust/issues/51626" target="_blank" title="https://github.com/rust-lang/rust/issues/51626">#51626</a></p>
</blockquote>



<a name="173289797"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173289797" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173289797">(Aug 15 2019 at 13:28)</a>:</h4>
<p>This was nominated by <span class="user-mention" data-user-id="119031">@Esteban Küber</span> but it's a rather old and long standing problem</p>



<a name="173289812"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173289812" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173289812">(Aug 15 2019 at 13:28)</a>:</h4>
<p>I'm inclined to mark it as p-medium, afaik there's been no new development?</p>



<a name="173289814"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173289814" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173289814">(Aug 15 2019 at 13:28)</a>:</h4>
<p>yeah, standard "not checking WF"</p>



<a name="173289864"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173289864" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173289864">(Aug 15 2019 at 13:29)</a>:</h4>
<p>actually this is in defaults...</p>



<a name="173289875"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173289875" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173289875">(Aug 15 2019 at 13:29)</a>:</h4>
<p>this is possibly not a bug?</p>



<a name="173289902"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173289902" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173289902">(Aug 15 2019 at 13:29)</a>:</h4>
<p>Well, it all sort of depends I guess :)</p>



<a name="173289912"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173289912" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173289912">(Aug 15 2019 at 13:29)</a>:</h4>
<p>the default <em>meets</em> the bounds on the type alias</p>



<a name="173289920"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173289920" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173289920">(Aug 15 2019 at 13:29)</a>:</h4>
<p>(which are none)</p>



<a name="173289948"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173289948" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173289948">(Aug 15 2019 at 13:30)</a>:</h4>
<p>it doesn't meet the bounds from the <em>value</em></p>



<a name="173290006"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173290006" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173290006">(Aug 15 2019 at 13:30)</a>:</h4>
<p>right, we discussed defaults and bounds not too long ago</p>



<a name="173290010"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173290010" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173290010">(Aug 15 2019 at 13:30)</a>:</h4>
<p>don't we have some other issue (or ten) sort of tracking this? I'd be inclined to cc that and add this example to keep it in mind</p>



<a name="173290035"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173290035" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173290035">(Aug 15 2019 at 13:31)</a>:</h4>
<p><strong>Beta regressions:</strong> None</p>



<a name="173290040"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173290040" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173290040">(Aug 15 2019 at 13:31)</a>:</h4>
<p><strong>Nightly regressions:</strong></p>



<a name="173290044"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173290044" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173290044">(Aug 15 2019 at 13:31)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> possibly <a href="https://github.com/rust-lang-nursery/reference/issues/636" target="_blank" title="https://github.com/rust-lang-nursery/reference/issues/636">https://github.com/rust-lang-nursery/reference/issues/636</a> ?</p>



<a name="173290056"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173290056" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173290056">(Aug 15 2019 at 13:31)</a>:</h4>
<p>well, sort of, but that's not the one I was thinking of</p>



<a name="173290125"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173290125" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173290125">(Aug 15 2019 at 13:32)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/55222" target="_blank" title="https://github.com/rust-lang/rust/issues/55222">https://github.com/rust-lang/rust/issues/55222</a></p>



<a name="173290132"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173290132" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173290132">(Aug 15 2019 at 13:32)</a>:</h4>
<p>maybe that, though the name is...not very good:)</p>



<a name="173290198"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173290198" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173290198">(Aug 15 2019 at 13:33)</a>:</h4>
<p>(but that's the comments I was thinking of)</p>



<a name="173290200"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173290200" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173290200">(Aug 15 2019 at 13:33)</a>:</h4>
<p>we could maybe repurpose that as a tracking issue</p>



<a name="173290203"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173290203" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173290203">(Aug 15 2019 at 13:33)</a>:</h4>
<blockquote>
<p>Regression: Matching on function pointers fails when one of the formal params implements custom PartialEq <a href="https://github.com/rust-lang/rust/issues/63479" target="_blank" title="https://github.com/rust-lang/rust/issues/63479">#63479</a></p>
</blockquote>



<a name="173290207"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173290207" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173290207">(Aug 15 2019 at 13:33)</a>:</h4>
<p>ah, we covered this one already</p>



<a name="173290236"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173290236" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173290236">(Aug 15 2019 at 13:33)</a>:</h4>
<p>OK we have <a href="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AT-compiler+label%3AP-high+" target="_blank" title="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AT-compiler+label%3AP-high+">39 P-high issues</a> <span aria-label="scared" class="emoji emoji-1f628" role="img" title="scared">:scared:</span></p>



<a name="173290292"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173290292" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173290292">(Aug 15 2019 at 13:34)</a>:</h4>
<p>oh which <a href="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AT-compiler+label%3AP-high+no%3Aassignee" target="_blank" title="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AT-compiler+label%3AP-high+no%3Aassignee">17 are unassigned</a></p>



<a name="173290295"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173290295" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173290295">(Aug 15 2019 at 13:34)</a>:</h4>
<p>I guess the question is whether to choose some to highlight</p>



<a name="173290319"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173290319" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173290319">(Aug 15 2019 at 13:34)</a>:</h4>
<p>let's start by skimming for updates maybe..</p>



<a name="173290406"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173290406" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173290406">(Aug 15 2019 at 13:36)</a>:</h4>
<blockquote>
<p>tracking issue for lifetime inference error work (E0495) <a href="https://github.com/rust-lang/rust/issues/42516" target="_blank" title="https://github.com/rust-lang/rust/issues/42516">#42516</a></p>
</blockquote>



<a name="173290459"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173290459" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173290459">(Aug 15 2019 at 13:36)</a>:</h4>
<p>I feel like this could be downgraded -- or maybe even closed -- after the NLL work.</p>



<a name="173290644"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173290644" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173290644">(Aug 15 2019 at 13:38)</a>:</h4>
<p>Let's start by looking at <a href="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AT-compiler+label%3AP-high+label%3A%22I-unsound+%F0%9F%92%A5%22+" target="_blank" title="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+is%3Aissue+label%3AT-compiler+label%3AP-high+label%3A%22I-unsound+%F0%9F%92%A5%22+">I-unsound P-high issues</a></p>



<a name="173290807"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173290807" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173290807">(Aug 15 2019 at 13:40)</a>:</h4>
<blockquote>
<p>Weird compiler behavior with in-lining of a function -&gt; constant value arbitrary changed <a href="https://github.com/rust-lang/rust/issues/63516" target="_blank" title="https://github.com/rust-lang/rust/issues/63516">#63516</a></p>
</blockquote>



<a name="173290813"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173290813" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173290813">(Aug 15 2019 at 13:40)</a>:</h4>
<p>this seems like an LLVM bug</p>



<a name="173290837"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173290837" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173290837">(Aug 15 2019 at 13:41)</a>:</h4>
<p>also perhaps specific to arm or something like that?</p>



<a name="173291221"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173291221" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173291221">(Aug 15 2019 at 13:45)</a>:</h4>
<blockquote>
<p>Coherence can be bypassed by an indirect impl for a trait object <a href="https://github.com/rust-lang/rust/issues/57893" target="_blank" title="https://github.com/rust-lang/rust/issues/57893">#57893</a></p>
</blockquote>



<a name="173291227"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173291227" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173291227">(Aug 15 2019 at 13:45)</a>:</h4>
<p>no updates here since our lang team discussion</p>



<a name="173291247"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173291247" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173291247">(Aug 15 2019 at 13:45)</a>:</h4>
<p>I have to bring this back in cache, I don't recall what the next actionable steps were going to be</p>



<a name="173291350"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173291350" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173291350">(Aug 15 2019 at 13:46)</a>:</h4>
<p>trying out some good solutions and trying crater maybe?</p>



<a name="173291359"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173291359" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173291359">(Aug 15 2019 at 13:46)</a>:</h4>
<p>and then modelling in chalk possibly</p>



<a name="173291368"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173291368" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173291368">(Aug 15 2019 at 13:46)</a>:</h4>
<p>Yeah, probably.</p>



<a name="173291380"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173291380" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173291380">(Aug 15 2019 at 13:46)</a>:</h4>
<p>I'm looking over <a href="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+label%3AI-nominated+label%3AT-compiler" target="_blank" title="https://github.com/rust-lang/rust/issues?utf8=%E2%9C%93&amp;q=is%3Aopen+label%3AI-nominated+label%3AT-compiler">nominated issues</a> presently, trying to decide if some are worth calling out at meeting</p>



<a name="173291386"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173291386" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173291386">(Aug 15 2019 at 13:46)</a>:</h4>
<p>seems like something for wg-traits in general</p>



<a name="173291401"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173291401" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173291401">(Aug 15 2019 at 13:47)</a>:</h4>
<blockquote>
<p>Use <code>dangling</code> for default slices (like vec and box do) <a href="https://github.com/rust-lang/rust/issues/62487" target="_blank" title="https://github.com/rust-lang/rust/issues/62487">#62487</a></p>
</blockquote>



<a name="173291428"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173291428" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173291428">(Aug 15 2019 at 13:47)</a>:</h4>
<p>seems like this one -- we are debating about doing a more general fix -- <span class="user-mention" data-user-id="119009">@eddyb</span> or <span class="user-mention" data-user-id="124288">@oli</span>, would one of you care to be assigned?</p>



<a name="173291477"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173291477" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173291477">(Aug 15 2019 at 13:48)</a>:</h4>
<p>to help with, or actually go ahead and do it :P?</p>



<a name="173291532"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173291532" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173291532">(Aug 15 2019 at 13:48)</a>:</h4>
<p>really either :)</p>



<a name="173291549"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173291549" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173291549">(Aug 15 2019 at 13:48)</a>:</h4>
<p>I doubt <span class="user-mention" data-user-id="125270">@scottmcm</span> would object</p>



<a name="173291570"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173291570" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173291570">(Aug 15 2019 at 13:48)</a>:</h4>
<p>idk how much time oli has, feel free to assign me or w/e</p>



<a name="173291693"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173291693" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173291693">(Aug 15 2019 at 13:50)</a>:</h4>
<p>I can review and help with figuring out things</p>



<a name="173291742"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173291742" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173291742">(Aug 15 2019 at 13:50)</a>:</h4>
<p>it shouldn't be too much work I think</p>



<a name="173291760"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173291760" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173291760">(Aug 15 2019 at 13:50)</a>:</h4>
<p>or yea, just grab the PR and do the changes</p>



<a name="173291786"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173291786" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173291786">(Aug 15 2019 at 13:50)</a>:</h4>
<blockquote>
<p>ICE: Generic type alias to invalid type crashes during type check on latest stable <a href="https://github.com/rust-lang/rust/issues/62742" target="_blank" title="https://github.com/rust-lang/rust/issues/62742">#62742</a> </p>
</blockquote>
<p>I'm going to assign this to myself -- but I need to formulate a plan to either delegate or solve some of these ICEs and things assigned to me.</p>



<a name="173291828"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173291828" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> centril <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173291828">(Aug 15 2019 at 13:51)</a>:</h4>
<p>Would be good to minimize that if possible</p>



<a name="173314347"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173314347" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scottmcm <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173314347">(Aug 15 2019 at 18:52)</a>:</h4>
<p>I'm happy either way -- I can try to figure it out and change the PR, or if it's trivial for someone with context they can do it and I'll just close my PR.</p>



<a name="173351484"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/pre-meeting%20triage%202019-08-15%20%2354818/near/173351484" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/pre-meeting.20triage.202019-08-15.20.2354818.html#173351484">(Aug 16 2019 at 06:25)</a>:</h4>
<blockquote>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span>  I just assume Ralf is already on that ;)</p>
</blockquote>
<p>it was already fixed in Miri when you were speaking ;) the Miri PR was sitting there patiently for 2 weeks waiting for its rustc brother to land.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>